$D^\dagger (\infty)$-affinité des schémas projectifs

Approximations fonctionnelles des courbes des espaces projectifs

Langue des signes et schémas

One goal of TAL is about translation assistance. Researches on interpretation French/Sign language show that a direct interpretation words → signs gives often maladjusted results. A stage of deverbalisation allows to avoid the reefs of signed French. This stage can use drawn presentations: schemata, diagrams, exploited in all variety of their forms. For an automatic translation, to add this sta...

Réification des schémas de conception : une expérience

Although design patterns are becoming increasingly popular as a way to describe solutions to general design problems, question about their integration in language (reification or language support) stays an open question. In this article, after identifying the implementation problems and presenting some approaches, we show how FLO’s connectors allows for the representation and implementation of ...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Apprentissage des schémas de propagation dans les multi-graphes

RÉSUMÉ. Nous considérons le problème de l’étiquetage de noeuds dans un multi-graphe ou graphe multi-relationnel dans lequel les noeuds peuvent être connectés simultanément par différents types de relations. De nombreux problèmes se modélisent ainsi, comme par exemple les réseaux sociaux ou bien les bases de données bibliographiques. Les relations peuvent être explicites (par exemple amitié dans...